Preservation Under Extensions on Well-Behaved Finite Structures
نویسندگان
چکیده
A class of relational structures is said to have the extension preservation property if every first-order sentence that is preserved under extensions on the class is equivalent to an existential sentence. The class of all finite structures does not have the extension preservation property. We study the property on classes of finite structures that are better behaved. We show that the property holds of classes of acyclic structures, structures of bounded degree and more generally structures that are wide in a sense we make precise. We also show that the preservation property holds for the class of structures of treewidth at most k, for any k. In contrast, we show that the property fails for the class of planar graphs.
منابع مشابه
A Generalization of the Łoś-Tarski Preservation Theorem
We present new parameterized preservation properties that provide for each natural number k, semantic characterizations of the ∃∀ and ∀∃ prefix classes of first order logic sentences, over the class of all structures and for arbitrary finite vocabularies. These properties, that we call preservation under substructures modulo k-cruxes and preservation under k-ary covered extensions respectively,...
متن کاملA Generalization of the {\L}o\'s-Tarski Preservation Theorem
Preservation theorems are amongst the earliest areas of study in classical model theory. One of the first preservation theorems to be proven is the Łoś-Tarski theorem that provides over arbitrary structures and for arbitrary finite vocabularies, semantic characterizations of the ∀ and ∃ prefix classes of first order logic (FO) sentences, via the properties of preservation under substructures an...
متن کاملInstitute for Research in Cognitive Science Finite Model Theory and Finite Variable Logics Ph
Finite Model Theory and Finite Variable Logics Eric Rosen Supervisor: Scott Weinstein In this dissertation, I investigate some questions about the model theory of nite structures. One goal is to better understand the expressive power of various logical languages, including rst-order logic (FO), over this class. A second, related, goal is to determine which results from classical model theory re...
متن کاملPreservation Theorems in Finite Model Theory
We develop various aspects of the finite model theory of Lk(there exists) and Lk∞omega(there exists). We establish the optimality of normal forms for Lk∞omega(there exists) over the class of finite structures and demonstrate separations over the class of finite structures and demonstrate separations among descriptive complexity classes within Lk∞omega(there exists). We establish negative result...
متن کاملPreservation Theorems in Finite Model Theory ? Eric Rosen ? ?
We develop various aspects of the nite model theory of L k (9) and L k 1! (9). We establish the optimality of normal forms for L k 1! (9) over the class of nite structures and demonstrate separations among descriptive complexity classes within L k 1! (9). We establish negative results concerning preservation theorems for L k (9) and L k 1! (9). We introduce a generalized notion of preservation ...
متن کامل